@CHARSET "UTF-8";

.splitter {
   position: absolute;
   width: 7px;
   height: 18px;
   cursor: col-resize;
   margin-top: -2px;
}
